perm filename EINIT.CMD[1,JMC]86 blob
sn#875388 filedate 1989-07-24 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 αβxsubjob↔αβxlattach↔ start up a subjob and take output in attach buffer
C00036 00003 αXDEFINE ADR↔
C00046 00004 αXDEFINE ADR↔
C00055 ENDMK
C⊗;
αβxsubjob⊗↔αβxlattach⊗↔⊗; start up a subjob and take output in attach buffer
αβ0αβxjf 8,0,65,-1⊗↔⊗; preserves tabs in justifying paragraphs
αXDEFINE name⊗↔
αZTEMP1⊗↔
αβ⊗↓
αXDEFINE TEMP1⊗↔
αXEXECUTE EINIT.CMD[1,3](17)⊗↔
αZname⊗↔
αβ⊗↓
αXDEFINE del1⊗↔⊗; delete arbitrary file mentioned on current line
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓
αXDEFINE DEL⊗↔⊗; delete E format file mentioned on current line
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓
αXDEFINE dover⊗↔⊗; send file named on current line to dover
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE boise⊗↔⊗; send file named on current line to boise
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE maple⊗↔⊗; send file named on current line to esp; prints it in fix40
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE lathro⊗↔⊗; send file named on current line to lathrop; prints it in fix40
αcαeαilathrop αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE ≡⊗↔⊗; enter pointed file in readwrite mode
αxpo⊗↔αxreadw⊗↔αβ⊗↓
αXDEFINE %⊗↔⊗; surround word with italics for TEX
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE ∩⊗↔⊗; take line back to file of files
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓
αXDEFINE MEM⊗↔⊗; standard start of memos
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓
αXDEFINE COM⊗↔⊗; For commenting out file name for pub memos
αi.<<α⊗=>>⊗↔αβ⊗↓
αXDEFINE AIL⊗↔⊗; standard start of AI letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂AIL αβ⊗↓
αXDEFINE CSL⊗↔⊗; standard start of CS letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂CSL αβ⊗↓
αxdefine msg⊗↔⊗; switching to the message file
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αxdefine jnk⊗↔⊗; switching to the junk message file
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓
αxdefine fil⊗↔⊗; switching to the file of files last page
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓
αxdefine fil1⊗↔⊗; switching to the file of files first page
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓
αxdefine cal⊗↔⊗; switching to the calendar file
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓
αxdefine ∪⊗↔⊗; switching to the message file
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αxdefine $⊗↔⊗; putting in an equation number. execute macro after typing symbol
αi α⊗Bαb αi({eq αs αdβ}β)αβ⊗↓
αXDEFINE TASK⊗↔⊗; puts attach buffer in TASKS file
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓
αxdefine pho⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αxdefine phon⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αxdefine adr⊗↔⊗; putting my address in file
⊗↔John McCarthy⊗↔Computer Science Department
⊗↔Stanford University⊗↔Stanford, CA 94305⊗↔αβ⊗↓
αxdefine new⊗↔⊗; starting a file, gets updated each quarter
α⊗↔αs⊗=αi[e89,jmc]α⊗↔αxpo/c⊗↔αhαcαhαeβ%⊗↔αβ⊗↔αβ⊗↓
αxdefine ekl⊗↔⊗; starting up an ekl
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓
αxdefine lisp⊗↔⊗; starting up a lisp
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓
αXDEFINE L⊗↔⊗; Run lisp functions. Needs lines ;bfun ;efun ;end.
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓
αxdefine phil⊗↔⊗; mailing to "phil-sci%oz"%mc mails the rest of the page
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓
αxdefine dov⊗↔⊗; send the file mentioned in the current line to the dover
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓
αxdefine 1987⊗↔⊗; switching to the 1987 file
αβλ1987.xgp[up,doc]/3p⊗↔αβ⊗↓
αxdefine 1988⊗↔⊗; switching to the 1988 file
αβλ1988.xgp[up,doc]/3p⊗↔αβ⊗↓
αxdefine 1989⊗↔⊗; switching to the 1989 file
αβλ1989.xgp[up,doc]/3p⊗↔αβ⊗↓
αxdefine 1990⊗↔⊗; switching to the 1990 file
αβλ1990.xgp[up,doc]/3p⊗↔αβ⊗↓
αxdefine 1986⊗↔⊗; switching to the 1986 file
αβλ1986.xgp[up,doc]/3p⊗↔αβ⊗↓
αxdefine 1985⊗↔⊗; switching to the 1985 file
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE REcon⊗↔⊗; reconnecting a maclisp job after re-entering e
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE MAIL/su⊗↔⊗; mails rest of page. requires address line and subject line
αβ∞αβxmail/su⊗↔αβ⊗↓
αXDEFINE VOTE⊗↔⊗; cleans up line of numbers with one comma for totalling votes
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓
αXDEFINE RELISP⊗↔⊗; reconnects to maclisp job after re-entry to E
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓
αXDEFINE C⊗↔⊗; circumscription
circumscriptionαβ⊗↓
αXDEFINE E⊗↔⊗; writing a reference to an equation
({eq })αb}αiαβ⊗↓
αXDEFINE BIO⊗↔⊗; switching to my biography file
αβεbiojmc.tex[1/∞p/∞l⊗↔αβ⊗↓
αXDEFINE SYM⊗↔⊗; making a symbol preceded by space italic for TEX
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE SYMB⊗↔⊗; making a symbol at beginning of line italic for TEX
α⊗→αi{\it α⊗=}αβ⊗↓
αXDEFINE EXT⊗↔⊗; starting a page at the end of a file
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓
αXDEFINE extq1⊗↔⊗; subsidiary to ext
αβ∞αβpαβ⊗↓
⊗⊂ Brings in REPLY macro from EINIT[1,3] (if necessary) and executes it.⊃
αxDEFINE R⊗↔
αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔
αβ⊗↓
αxDEFINE R1⊗↔
αxEXECUTE EINIT.CMD[1,3](14)⊗↔
αβ⊗↓
αxDEFINE NULL⊗↔
⊗≠
αβ⊗↓
αXDEFINE T⊗↔⊗; Puts the attach buffer at the end of other file (for comments).
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓
αXDEFINE MOVE⊗↔⊗; moves paragraph to end of previous page - used with calendar
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓
αXDEFINE N⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE Note⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NOTES⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE PURGE⊗↔⊗; purges failed message from msg and outgo
αzmsg⊗↔αβ∂αβdαβεoutgo.msg/∞p⊗↔αβ∂αβdαβhαβ⊗↓
αXDEFINE MSG1⊗↔⊗; to end of first page of message file
αβεmsg.msg[1,jmc]/1p/∞l⊗↔αβ⊗↓
αXDEFINE DIR⊗↔⊗; with dir2 to get directory info about file in files[let,jmc]
αcαeβdβiβ αs⊗=αk⊗↔α=αβ⊗↓
αXDEFINE DIR2⊗↔⊗; with dir to get directory information
αβe⊗↑αβ6αβd⊗↔αβ6αβd⊗↑αk ⊗=⊗=⊗↔αβ⊗↓
αXDEFINE L⊗↔⊗; switching to file of letters
αβεletter[let,jmc]/e⊗↔αβ⊗↔αβ⊗↓
αXDEFINE MEMTEX⊗↔⊗; starting a memo in TEX
αβl⊗↔αβ⊗↔\input memo.tex[let,jmc]⊗↔\title{}⊗↔α⊗↔
αβ∞αβlαxmark⊗↔
\smallskip
\centerline{Copyright \copyright\ αzyear⊗↔
\ by John McCarthy}⊗↔
\smallskip
\noindent{This draft of αzfile⊗↔
\ TEXed on \jmcdate\ at \theTime}⊗↔
%File originated on αxset x←date.⊗↔αzx⊗↔⊗↔
\vfill\eject\end⊗↔α2αpα3αlαβ⊗↓
αXDEFINE YEAR⊗↔⊗; puts the current year in the text; used by new memtex
αxset x←date.⊗↔αzx⊗↔α9α⊗↑19α5αdα α αβ⊗↓
αXDEFINE file⊗↔⊗; puts the current file name in the text; used by new memtex
αxset x←file.⊗↔αzx⊗↔αβ⊗↓
αXDEFINE BAD⊗↔⊗; removing aborted message from msg.msg and outgo.msg
αβεmsg.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβεoutgo.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβhαβ⊗↓
αXDEFINE EM⊗↔⊗; taking net address to bottom of page
αU⊗↔αCαβ∞αβLαβEαS@αB α β⊗↔α⊗↔⊗↑αβD⊗↔αβ⊗↓
αXDEFINE SQUISH⊗↔⊗; squeezing a paragraph for quotation
αβ!αβxjf 13,5,60,-1⊗↔αβ0αβxjf 8,0,70,-1⊗↔αβ⊗↓
αXDEFINE BITNET⊗↔⊗; changing a bitnet address to mail via Forsythe
αfbitnetα⊗↔αb@%αfbitnetα⊗↔α α α α α α αi@forsythe.stanford.eduα αβ⊗↓
αXDEFINE BOOK⊗↔⊗; Putting a book reference in my TEX form
αβ⊗↔\noindentα⊗↔⊗↔αi{\bf α⊗= αdαi(α⊗=)}:⊗↔αi{\it α⊗=},⊗↔α⊗=.⊗↔αβ⊗↓
αXDEFINE TRANSP⊗↔
β⊗↔αs α β⊗↔αs α β⊗↔ ⊗; break the line around the two words
αβ-αβaαβuαβe ⊗; grab the second and move it up ahead of the first
αβuαβ3αβxjo⊗↔ ⊗; go up a line and re-patch the world
α⊗=αd ⊗; pick up last part of last line, leaving cursor in useful place
αβ⊗↓
αXDEFINE lambda⊗↔⊗; Replaces λ by \lambda in rest of file and returns to orig page
αmαxf ≡λα\\lambda αβ∞⊗↔αmαβ⊗↓
αXDEFINE infty⊗↔⊗; Replaces ∞ by \infty in rest of file and returns to orig page
αmαxf ≡∞α\\infty αβ∞⊗↔αmαβ⊗↓
αXDEFINE LEQ⊗↔⊗; Replaces ≤ by \leq in rest of file and returns to original page
αmαxf ≡≤α\\leq αβ∞⊗↔αmαβ⊗↓
αXDEFINE leftrightarrow⊗↔⊗; Replaces ↔ by \leftrightarrow in rest of file and returns to orig page
αmαxf ≡↔α\\leftrightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE downarrow⊗↔⊗; Replaces ↓ by \downarrow in rest of file and returns to orig page
αmαxf ≡↓α\\downarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE uparrow⊗↔⊗; Replaces ↑ by \uparrow in rest of file and returns to orig page
αmαxf ≡↑α\\uparrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE rightarrow⊗↔⊗; Replaces → by \rightarrow in rest of file and returns to orig page
αmαxf ≡→α\\rightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE leftarrow⊗↔⊗; Replaces ← by \leftarrow in rest of file and returns to orig page
αmαxf ≡←α\\leftarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE otimes⊗↔⊗; Replaces ⊗ by \otimes in rest of file and returns to orig page
αmαxf ≡⊗α\\otimes αβ∞⊗↔αmαβ⊗↓
αXDEFINE partial⊗↔⊗; Replaces ∂ by \partial in rest of file and returns to orig page
αmαxf ≡∂α\\partial αβ∞⊗↔αmαβ⊗↓
αXDEFINE EQUIV⊗↔⊗; Replaces ≡ by \equiv in rest of file and returns to original page
αmαxf ≡≡α\\equiv αβ∞⊗↔αmαβ⊗↓
αXDEFINE geq⊗↔⊗; Replaces ≥ by \geq in rest of file and returns to orig page
αmαxf ≡≥α\\geq αβ∞⊗↔αmαβ⊗↓
αXDEFINE epsilon⊗↔⊗; Replaces ε by \epsilon in rest of file and returns to orig page
αmαxf ≡εα\\epsilon αβ∞⊗↔αmαβ⊗↓
αXDEFINE beta⊗↔⊗; Replaces β by \beta in rest of file and returns to orig page
αmαxf ≡βα\\beta αβ∞⊗↔αmαβ⊗↓
αXDEFINE alpha⊗↔⊗; Replaces α by \alpha in rest of file and returns to orig page
αmαxf ≡αα\\alpha αβ∞⊗↔αmαβ⊗↓
αXDEFINE pi⊗↔⊗; Replaces π by \pi in rest of file and returns to orig page
αmαxf ≡πα\\pi αβ∞⊗↔αmαβ⊗↓
αXDEFINE not=⊗↔⊗; Replaces ≠ by \not= in rest of file and returns to orig page
αmαxf ≡≠α\\not= αβ∞⊗↔αmαβ⊗↓
αXDEFINE exists⊗↔⊗; Replaces ∃ by \exists in rest of file and returns to orig page
αmαxf ≡∃α\\exists αβ∞⊗↔αmαβ⊗↓
αXDEFINE forall⊗↔⊗; Replaces ∀ by \forall in rest of file and returns to orig page
αmαxf ≡∀α\\forall αβ∞⊗↔αmαβ⊗↓
αXDEFINE wedge⊗↔⊗; Replaces ∧ by \wedge in rest of file and returns to orig page
αmαxf ≡∧α\\wedge αβ∞⊗↔αmαβ⊗↓
αXDEFINE vee⊗↔⊗; Replaces ∨ by \vee in rest of file and returns to orig page
αmαxf ≡∨α\\vee αβ∞⊗↔αmαβ⊗↓
αXDEFINE neg⊗↔⊗; Replaces ¬ by \neg in rest of file and returns to orig page
αmαxf ≡¬α\\neg αβ∞⊗↔αmαβ⊗↓
αXDEFINE supset⊗↔⊗; Replaces ⊃ by \supset in rest of file and returns to orig page
αmαxf ≡⊃α\\supset αβ∞⊗↔αmαβ⊗↓
αXDEFINE subset⊗↔⊗; Replaces ⊂ by \subset in rest of file and returns to orig page
αmαxf ≡⊂α\\subset αβ∞⊗↔αmαβ⊗↓
αXDEFINE REF⊗↔⊗; puts position in previous file at end of line
α⊗↔αhαxset a←filepl.⊗↔αhα⊗=, αza⊗↔α⊗↔αβ⊗↓
αXDEFINE QU⊗↔⊗; replaces " ... " by `` ... ''
αf"α\``α⊗↔αf"α\''α⊗↔αβ⊗↓
αXDEFINE ADR⊗↔
⊗↔John McCarthy⊗↔Computer Science Department⊗↔Stanford University⊗↔Stanf
ord, CA 94305⊗↔αβ⊗↓
αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓
αXDEFINE ALPHA⊗↔
αmαxf ≡α\\alpha αβ∞⊗↔αmαβ⊗↓
αXDEFINE BAD⊗↔
αβεmsg.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβεoutgo.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβhαβ⊗↓
αXDEFINE BETA⊗↔
αmαxf ≡αβ\\beta αβ∞⊗↔αmαβ⊗↓
αXDEFINE BIO⊗↔
αβεbiojmc.tex[1/∞p/∞l⊗↔αβ⊗↓
αXDEFINE BITNET⊗↔
αfbitnetα⊗↔αb@%αfbitnetα⊗↔α α α α α α αi@forsythe.stanford.eduα αβ⊗↓
αXDEFINE BOISE⊗↔
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE BOOK⊗↔
αβ⊗↔\noindentα⊗↔⊗↔αi{\bf α⊗= αdαi(α⊗=)}:⊗↔αi{\it α⊗=},⊗↔α⊗=.⊗↔αβ⊗↓
αXDEFINE C⊗↔
circumscriptionαβ⊗↓
αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE COM⊗↔
αi.<<α⊗=>>⊗↔αβ⊗↓
αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓
αXDEFINE DEL⊗↔
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓
αXDEFINE DEL1⊗↔
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓
αXDEFINE DIR⊗↔
αcαeβdβiβ αs⊗=αk⊗↔α=αβ⊗↓
αXDEFINE DIR2⊗↔
αβe⊗↑αβ6αβd⊗↔αβ6αβd⊗↑αk ⊗=⊗=⊗↔αβ⊗↓
αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓
αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE DOWNAR⊗↔
αmαxf ≡↓α\\downarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE E⊗↔
({eq })αb}αiαβ⊗↓
αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓
αXDEFINE EM⊗↔
αU⊗↔αCαβ∞αβLαβEαS@αB α β⊗↔α⊗↔⊗↑αβD⊗↔αβ⊗↓
αXDEFINE EPSILO⊗↔
αmαxf ≡εα\\epsilon αβ∞⊗↔αmαβ⊗↓
αXDEFINE EQUIV⊗↔
αmαxf ≡≡α\\equiv αβ∞⊗↔αmαβ⊗↓
αXDEFINE EXISTS⊗↔
αmαxf ≡∃α\\exists αβ∞⊗↔αmαβ⊗↓
αXDEFINE EXT⊗↔
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓
αXDEFINE EXTQ1⊗↔
αβ∞αβpαβ⊗↓
αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓
αXDEFINE FILE⊗↔
αxset x←file.⊗↔αzx⊗↔αβ⊗↓
αXDEFINE FOO⊗↔
αβ!αβaαβεleft⊗↔αβ∞αβlαβeαhαβ⊗↓
αXDEFINE FORALL⊗↔
αmαxf ≡∀α\\forall αβ∞⊗↔αmαβ⊗↓
αXDEFINE GEQ⊗↔
αmαxf ≡≥α\\geq αβ∞⊗↔αmαβ⊗↓
αXDEFINE INFTY⊗↔
αmαxf ≡∞α\\infty αβ∞⊗↔αmαβ⊗↓
αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE L⊗↔
αβεletter[let,jmc]/e⊗↔αβ⊗↔αβ⊗↓
αXDEFINE LAMBDA⊗↔
αmαxf ≡λα\\lambda αβ∞⊗↔αmαβ⊗↓
αXDEFINE LATHRO⊗↔
αcαeαilathrop αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE LEFTAR⊗↔
αmαxf ≡←α\\leftarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE LEFTRI⊗↔
αmαxf ≡↔α\\leftrightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE LEQ⊗↔
αmαxf ≡≤α\\leq αβ∞⊗↔αmαβ⊗↓
αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓
αXDEFINE M⊗↔
αfauthor⊗↔αβmαflocation⊗↔αs β⊗↔αaαmαe⊗↔αβ-αβmαβ!⊗↔αβ⊗↓
αXDEFINE s⊗↔
αfauthor⊗↔αβmαfl.c. call⊗↔αs:α β⊗↔αaαmαe⊗↔αβ-αβmαβ!⊗↔αβ⊗↓
αXDEFINE q⊗↔
αfeditor⊗↔αβmαflocation⊗↔αs β⊗↔αaαmαe⊗↔αβ-αβmαβ!⊗↔αβ⊗↓
αXDEFINE MAIL⊗↔
αβ∞αβxmail/su⊗↔αβ⊗↓
αXDEFINE MAPLE⊗↔
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓
αXDEFINE MEMTEX⊗↔
αβl⊗↔αβ⊗↔\input memo.tex[let,jmc]⊗↔\title{}⊗↔α⊗↔αβ∞αβlαxmark⊗↔\smallskip
\centerline{Copyright \copyright\ αzyear⊗↔\ by John McCarthy}⊗↔\smallski
p\noindent{This draft of αzfile⊗↔\ TEXed on \jmcdate\ at \theTime}⊗↔%Fil
e originated on αxset x←date.⊗↔αzx⊗↔⊗↔\vfill\eject\end⊗↔α2αpα3αlαβ⊗↓
αXDEFINE MOVE⊗↔
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓
αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE MSG1⊗↔
αβεmsg.msg[1,jmc]/1p/∞l⊗↔αβ⊗↓
αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓
αXDEFINE N⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NAME⊗↔
αZTEMP1⊗↔αβ⊗↓
αXDEFINE NEG⊗↔
αmαxf ≡¬α\\neg αβ∞⊗↔αmαβ⊗↓
αXDEFINE NEW⊗↔
α⊗↔αs⊗=αi[e89,jmc]α⊗↔αxpo/c⊗↔αhαcαhαeβ%⊗↔αβ⊗↔αβ⊗↓
αXDEFINE NOT⊗↔
αmαxf ≡≠α\\not= αβ∞⊗↔αmαβ⊗↓
αXDEFINE NOTE⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NOTES⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NULL⊗↔
⊗≠αβ⊗↓
αXDEFINE OTIMES⊗↔
αmαxf ≡⊗α\\otimes αβ∞⊗↔αmαβ⊗↓
αXDEFINE P⊗↔
αftitle⊗↔αβmαflocation⊗↔αs β⊗↔αaαmαe⊗↔αβ-αβmαβ!⊗↔αβ⊗↓
αXDEFINE PARTIA⊗↔
αmαxf ≡∂α\\partial αβ∞⊗↔αmαβ⊗↓
αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓
αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αXDEFINE PHON⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αXDEFINE PI⊗↔
αmαxf ≡πα\\pi αβ∞⊗↔αmαβ⊗↓
αXDEFINE PURGE⊗↔
αzmsg⊗↔αβ∂αβdαβεoutgo.msg/∞p⊗↔αβ∂αβdαβhαβ⊗↓
αXDEFINE QU⊗↔
αf"α\``α⊗↔αf"α\''α⊗↔αβ⊗↓
αXDEFINE R⊗↔
αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔αβ⊗↓
αXDEFINE R1⊗↔
αxEXECUTE EINIT.CMD[1,3](14)⊗↔αβ⊗↓
αXDEFINE RECON⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE REF⊗↔
α⊗↔αhαxset a←filepl.⊗↔αhα⊗=, αza⊗↔α⊗↔αβ⊗↓
αXDEFINE RELISP⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE RIGHTA⊗↔
αmαxf ≡→α\\rightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE SQUISH⊗↔
αβ!αβxjf 13,5,60,-1⊗↔αβ0αβxjf 8,0,70,-1⊗↔αβ⊗↓
αXDEFINE SUBSET⊗↔
αmαxf ≡⊂α\\subset αβ∞⊗↔αmαβ⊗↓
αXDEFINE SUPSET⊗↔
αmαxf ≡⊃α\\supset αβ∞⊗↔αmαβ⊗↓
αXDEFINE SYM⊗↔
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE SYMB⊗↔
α⊗→αi{\it α⊗=}αβ⊗↓
αXDEFINE T⊗↔
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓
αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓
αXDEFINE TEMP1⊗↔
αXEXECUTE EINIT.CMD[1,3](17)⊗↔αZname⊗↔αβ⊗↓
αXDEFINE TRANSP⊗↔
β⊗↔αs α β⊗↔αs α β⊗↔αβ-αβaαβuαβeαβuαβ3αβxjo⊗↔α⊗=αdαβ⊗↓
αXDEFINE UPARRO⊗↔
αmαxf ≡↑α\\uparrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE VEE⊗↔
αmαxf ≡∨α\\vee αβ∞⊗↔αmαβ⊗↓
αXDEFINE VOTE⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓
αXDEFINE WEDGE⊗↔
αmαxf ≡∧α\\wedge αβ∞⊗↔αmαβ⊗↓
αXDEFINE YEAR⊗↔
αxset x←date.⊗↔αzx⊗↔α9α⊗↑19α5αdα α αβ⊗↓
αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓
αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓
αXDEFINE $⊗↔
αi α⊗↑αb αi({eq αs αdβ}β)αβ⊗↓
αXDEFINE %⊗↔
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE 1985⊗↔
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1986⊗↔
αβλ1986.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1987⊗↔
αβλ1987.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1988⊗↔
αβλ1988.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1989⊗↔
αβλ1989.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1990⊗↔
αβλ1990.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE ADR⊗↔
⊗↔John McCarthy⊗↔Computer Science Department⊗↔Stanford University⊗↔Stanf
ord, CA 94305⊗↔αβ⊗↓
αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓
αXDEFINE ALPHA⊗↔
αmαxf ≡α\\alpha αβ∞⊗↔αmαβ⊗↓
αXDEFINE BAD⊗↔
αβεmsg.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβεoutgo.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβhαβ⊗↓
αXDEFINE BETA⊗↔
αmαxf ≡αβ\\beta αβ∞⊗↔αmαβ⊗↓
αXDEFINE BIO⊗↔
αβεbiojmc.tex[1/∞p/∞l⊗↔αβ⊗↓
αXDEFINE BITNET⊗↔
αfbitnetα⊗↔αb@%αfbitnetα⊗↔α α α α α α αi@forsythe.stanford.eduα αβ⊗↓
αXDEFINE BOISE⊗↔
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE BOOK⊗↔
αβ⊗↔\noindentα⊗↔⊗↔αi{\bf α⊗= αdαi(α⊗=)}:⊗↔αi{\it α⊗=},⊗↔α⊗=.⊗↔αβ⊗↓
αXDEFINE C⊗↔
circumscriptionαβ⊗↓
αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE COM⊗↔
αi.<<α⊗=>>⊗↔αβ⊗↓
αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓
αXDEFINE DEL⊗↔
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓
αXDEFINE DEL1⊗↔
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓
αXDEFINE DIR⊗↔
αcαeβdβiβ αs⊗=αk⊗↔α=αβ⊗↓
αXDEFINE DIR2⊗↔
αβe⊗↑αβ6αβd⊗↔αβ6αβd⊗↑αk ⊗=⊗=⊗↔αβ⊗↓
αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓
αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE DOWNAR⊗↔
αmαxf ≡↓α\\downarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE E⊗↔
({eq })αb}αiαβ⊗↓
αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓
αXDEFINE EM⊗↔
αU⊗↔αCαβ∞αβLαβEαS@αB α β⊗↔α⊗↔⊗↑αβD⊗↔αβ⊗↓
αXDEFINE EPSILO⊗↔
αmαxf ≡εα\\epsilon αβ∞⊗↔αmαβ⊗↓
αXDEFINE EQUIV⊗↔
αmαxf ≡≡α\\equiv αβ∞⊗↔αmαβ⊗↓
αXDEFINE EXISTS⊗↔
αmαxf ≡∃α\\exists αβ∞⊗↔αmαβ⊗↓
αXDEFINE EXT⊗↔
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓
αXDEFINE EXTQ1⊗↔
αβ∞αβpαβ⊗↓
αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓
αXDEFINE FILE⊗↔
αxset x←file.⊗↔αzx⊗↔αβ⊗↓
αXDEFINE FORALL⊗↔
αmαxf ≡∀α\\forall αβ∞⊗↔αmαβ⊗↓
αXDEFINE GEQ⊗↔
αmαxf ≡≥α\\geq αβ∞⊗↔αmαβ⊗↓
αXDEFINE INFTY⊗↔
αmαxf ≡∞α\\infty αβ∞⊗↔αmαβ⊗↓
αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE L⊗↔
αβεletter[let,jmc]/e⊗↔αβ⊗↔αβ⊗↓
αXDEFINE LAMBDA⊗↔
αmαxf ≡λα\\lambda αβ∞⊗↔αmαβ⊗↓
αXDEFINE LATHRO⊗↔
αcαeαilathrop αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE LEFTAR⊗↔
αmαxf ≡←α\\leftarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE LEFTRI⊗↔
αmαxf ≡↔α\\leftrightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE LEQ⊗↔
αmαxf ≡≤α\\leq αβ∞⊗↔αmαβ⊗↓
αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓
αXDEFINE MAIL⊗↔
αβ∞αβxmail/su⊗↔αβ⊗↓
αXDEFINE MAPLE⊗↔
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓
αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓
αXDEFINE MEMTEX⊗↔
αβl⊗↔αβ⊗↔\input memo.tex[let,jmc]⊗↔\title{}⊗↔α⊗↔αβ∞αβlαxmark⊗↔\smallskip
\centerline{Copyright \copyright\ αzyear⊗↔\ by John McCarthy}⊗↔\smallski
p\noindent{This draft of αzfile⊗↔\ TEXed on \jmcdate\ at \theTime}⊗↔%Fil
e originated on αxset x←date.⊗↔αzx⊗↔⊗↔\vfill\eject\end⊗↔α2αpα3αlαβ⊗↓
αXDEFINE MOVE⊗↔
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓
αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE MSG1⊗↔
αβεmsg.msg[1,jmc]/1p/∞l⊗↔αβ⊗↓
αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓
αXDEFINE N⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NAME⊗↔
αZTEMP1⊗↔αβ⊗↓
αXDEFINE NEG⊗↔
αmαxf ≡¬α\\neg αβ∞⊗↔αmαβ⊗↓
αXDEFINE NEW⊗↔
α⊗↔αs⊗=αi[e89,jmc]α⊗↔αxpo/c⊗↔αhαcαhαeβ%⊗↔αβ⊗↔αβ⊗↓
αXDEFINE NOT⊗↔
αmαxf ≡≠α\\not= αβ∞⊗↔αmαβ⊗↓
αXDEFINE NOTE⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NOTES⊗↔
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓
αXDEFINE NULL⊗↔
⊗≠αβ⊗↓
αXDEFINE OTIMES⊗↔
αmαxf ≡⊗α\\otimes αβ∞⊗↔αmαβ⊗↓
αXDEFINE PARTIA⊗↔
αmαxf ≡∂α\\partial αβ∞⊗↔αmαβ⊗↓
αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓
αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αXDEFINE PHON⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓
αXDEFINE PI⊗↔
αmαxf ≡πα\\pi αβ∞⊗↔αmαβ⊗↓
αXDEFINE PURGE⊗↔
αzmsg⊗↔αβ∂αβdαβεoutgo.msg/∞p⊗↔αβ∂αβdαβhαβ⊗↓
αXDEFINE QU⊗↔
αf"α\``α⊗↔αf"α\''α⊗↔αβ⊗↓
αXDEFINE R⊗↔
αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔αβ⊗↓
αXDEFINE R1⊗↔
αxEXECUTE EINIT.CMD[1,3](14)⊗↔αβ⊗↓
αXDEFINE RECON⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE REF⊗↔
α⊗↔αhαxset a←filepl.⊗↔αhα⊗=, αza⊗↔α⊗↔αβ⊗↓
αXDEFINE RELISP⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓
αXDEFINE RIGHTA⊗↔
αmαxf ≡→α\\rightarrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE SQUISH⊗↔
αβ!αβxjf 13,5,60,-1⊗↔αβ0αβxjf 8,0,70,-1⊗↔αβ⊗↓
αXDEFINE SUBSET⊗↔
αmαxf ≡⊂α\\subset αβ∞⊗↔αmαβ⊗↓
αXDEFINE SUPSET⊗↔
αmαxf ≡⊃α\\supset αβ∞⊗↔αmαβ⊗↓
αXDEFINE SYM⊗↔
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE SYMB⊗↔
α⊗→αi{\it α⊗=}αβ⊗↓
αXDEFINE T⊗↔
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓
αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓
αXDEFINE TEMP1⊗↔
αXEXECUTE EINIT.CMD[1,3](17)⊗↔αZname⊗↔αβ⊗↓
αXDEFINE TRANSP⊗↔
β⊗↔αs α β⊗↔αs α β⊗↔αβ-αβaαβuαβeαβuαβ3αβxjo⊗↔α⊗=αdαβ⊗↓
αXDEFINE UPARRO⊗↔
αmαxf ≡↑α\\uparrow αβ∞⊗↔αmαβ⊗↓
αXDEFINE VEE⊗↔
αmαxf ≡∨α\\vee αβ∞⊗↔αmαβ⊗↓
αXDEFINE VOTE⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓
αXDEFINE WEDGE⊗↔
αmαxf ≡∧α\\wedge αβ∞⊗↔αmαβ⊗↓
αXDEFINE YEAR⊗↔
αxset x←date.⊗↔αzx⊗↔α9α⊗↑19α5αdα α αβ⊗↓
αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓
αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓
αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓
αXDEFINE $⊗↔
αi α⊗↑αb αi({eq αs αdβ}β)αβ⊗↓
αXDEFINE %⊗↔
}αb α αi{\it α⊗=αβ⊗↓
αXDEFINE 1985⊗↔
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1986⊗↔
αβλ1986.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1987⊗↔
αβλ1987.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1988⊗↔
αβλ1988.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1989⊗↔
αβλ1989.xgp[up,doc]/3p⊗↔αβ⊗↓
αXDEFINE 1990⊗↔
αβλ1990.xgp[up,doc]/3p⊗↔αβ⊗↓